Increase the default size of the symbolic value when using manticore EVM from command line#2462

gustavo-grieco wants to merge 2 commits intomastertrailofbits/manticore:masterfrom

fix-increase-symbolic-buffertrailofbits/manticore:fix-increase-symbolic-bufferCopy head branch name to clipboard