Collect keccak preimages in the dictionary as uint256 and bytes32#1410

gustavo-grieco wants to merge 2 commits intocrytic:mastercrytic/echidna:masterfrom

gustavo-grieco:dev-keccak-collectiongustavo-grieco/echidna-xp:dev-keccak-collectionCopy head branch name to clipboard