testing: more proptests#20

tcoratger merged 4 commits intoleanEthereum:mainleanEthereum/leanSig:mainfrom

tcoratger:propteststcoratger/leanSig:proptestsCopy head branch name to clipboard