Adding more property tests and fixing edge case of dropped operation#936

rphmeier merged 8 commits into

thrumdev:masterthrumdev/nomt:masterfrom

citizen-stig:nikolai/more-testscitizen-stig/nomt:nikolai/more-testsCopy head branch name to clipboard