Fix Storm Tests and ClassCastException in Storm jobs

I also removed the Scalacheck from the storm test job. There is some code duplication at play in the `StormLaws`; as I add more tests I'll abstract out the required running state.