Added a few basic test cases for finding references using IzVerifier.