remove circuits which are not Boolean formulas
add --test-all flags to obf argument
change description to "cryptographic" instead of "indistinguishability"