add ASSERT_LESS, ASSERT_GREATER and ASSERT_BINOP
use new ASSERTs where possible