Experimental

Let me make sure that our examples still work after removing this. I think Yoshiki's implementation of the circuits uses `shouldBeTrue`. I will update the examples and push to this branch. I guess I should figure out a way to run the examples as part of the Lively test suite.