Merge this repository into the main @trailofbits/manticore repository
Merge this repository into the main @trailofbits/manticore repository