Fix for issue #134 -- require @venus annotations in test files.