Run the monadic 'powM' test and add an opt compilation.

Unlike for Fibonacci, compiling with opt doesn't reorder anything.