PSE Speedup (mvMult)

Speedup of mvMult (about 5 times). Benchmarked with `-psecheck` on the signalling model and formulas of the form `'P=? [ F=<N> pop<M> = <K> ]'`.