Better coverage for property tests#2

luisggpina wants to merge 2 commits intovandekeiser:mastervandekeiser/wires:masterfrom

bitslab:props-better-coveragebitslab/wires:props-better-coverageCopy head branch name to clipboard