Add property/fuzz/invariant tests; fix 2 fuzz-found bugs; restore Makefile (#152)#152

cep21 merged 2 commits into

mastercep21/circuit:masterfrom

property-fuzz-testscep21/circuit:property-fuzz-testsCopy head branch name to clipboard