Fix the testsuite to avoid tests to be marked as being risky
Rename test and fixture testcases to better names
Moved the check of predictions to verifyMockObjects

This respects the meaning of verifyMockObjects and keeps
assertPostConditions available for child classes without forcing to call
the parent method, making the ProphecyTestCase less intrusive for child
classes and more in line with the parent test case.