Delete all the things

We are cleaning up a lot in #17

Here we extract some of that cleanup, to make that other PR easier to
review.

circ_blocks/Cargo.toml

@@ -81,9 +81,6 @@ poly = ["rug-polynomial"]
 spartan = ["r1cs", "dep:spartan", "curve25519-dalek", "bincode", "gmp-mpfr-sys"]
 bellman = ["r1cs", "dep:bellman", "ff", "group", "pairing", "serde_bytes", "bincode", "gmp-mpfr-sys", "byteorder", "rayon"]
 
-[[example]]
-name = "circ"
-
 [[example]]
 name = "zk"
 required-features = ["r1cs"]
@@ -92,10 +89,6 @@ required-features = ["r1cs"]
 name = "cp"
 required-features = ["bellman", "poly"]
 
-[[example]]
-name = "zxi"
-required-features = ["smt", "zok"]
-
 [[example]]
 name = "zxc"
 required-features = ["smt", "zok"]