Fix definition of VerifiedRing

Fixes https://github.com/idris-lang/Idris-dev/issues/1282. Thanks, @stygstra!