exhaustive

Verifies that each function call occurred at least once in any order and there is no more calls.