Added max gas limit configuration setting (#664) --failfast flag for hypothesis tests (#666) Fixed Iterate trace in reverse when looking for revert reason (#663) TransactionReceipt verbosity and minor fixes (#665)