assert true/false assertions

This adds new assertions for asserting things are (not) true/false.
This provides a more expressive form of doing an "equal true/false"
assertion.