Reworked multiplication verification. Need to rethink min_decomp calculations - will hang infinitely on primes at end of tree.