Fixed memoization bug - matrices have been tested to be correct. Important changes made to interaction of MakeState and CoeffMatrix when handling writing downvalues to RAM