Verified test cases for Registry and AdventureRegistry.