Comparison (LT,LTE,GT,GTE) Assertions

Signed-off-by: Ben Jackman <ben@jackman.biz>