Assertion/Proposition framework for Java unit tests