TIL assertIsNone, assertIsNotNone, and assertIsInstance exist!

It also improved a few "assertTrue(a binop b)" cases to "assertBinOp(a, b)".