Log Message:
Package py-manticore version 0.1.9

From the release notes:

Added:

 * Ethereum: --txnocoverage cli argument to suppress coverage based analysis \ 
halting criteria
 * Ethereum: Support added for more Solidity features (imports, uint/int types, \ 
function types)

Fixed:

 * Numerous Ethereum ABI fixes
 * Linux and x86/64 emulation fixes
 * Solver performance issue