Implemented more spy verifiers/assertions.