test/examples: simple tests of inv(::ModInt)