Input Size of Symbolic executions workaround for the complex and large smart contract programs.

[PavanKumarChaparla]

Please refer to the following files and make the necessary changes for this workaround.
Increase the input size of the solidity input in the method .
self.make_symbolic_buffer(320) Please change the input size to your own required amount as per the smart contract requirements in the method multi_tx_analysis() method of manticore.py file.

[gitsan13]

Hi @PavanKumarChaparla
I would like to contribute to this issue:)