Added tests for state simplifications using LinearForm
We need the Windows Crypo library for the random number generator.
Added random product MPS test states