Corrected typos, added an assertion for random states equality with and without warm start.