Run QuickSpec on strictly-accumulating mult2, op and qexp

[Chris Warburton]

The functions mult2, op and qexp are tail-recursive, so should be pretty
efficient (although qexp would presumably make huge Integers).

We should write two versions of each: one with a strict accumulator and
another without, and QuickSpec each individually (timing them).