Merge remote-tracking branch 'upstream/develop' into bugfix
Shortcut for boolean conversion
Merge pull request #408 from CJentzsch/bugfix

Changing gas cost to zero at stackunderflow
Merge remote-tracking branch 'upstream/develop' into newTests
merge