Rework time dilution in F3 tests and refine assertions

Progress the clock during tests independently of condition check. Rework
the assertions to use built-in eventual assertion. Use consistent names
for the asserting functions.

Fixes #818
Fixes #847

Author: masih