gives warnings instead of info when the result does not match the expected

Removed DApp static noRollback, propagated the value through to the RequireBlock, updated the styles of the RequireState/FailedRequiredState/IfState, removed the noRollback parameter from DApp.toSMVString, cleaned up the CUI and added specific noRollback tests to show that it works

Resolve "Implement Crass Gas Limit"

Closes #39

See merge request !10

Changing the ValueReachabilityState to a better name (BoolExprRea...); adding the start of the AttackerGasLimit; adding comments to the varaible in the DApp class; removing tiny functions from the DApp class and moving them to the g4; changing the special commands to only accept INTs

adding configurable rollback feature

See merge request !9

Extract NuSMV errors

See merge request !8

Adding comments to learn from bug; better name and description of new error producing solidity file; removing new code that isn't required.

Function modifiers

See merge request !7