Adding legacy tests from simplTestCases; these are prone to weird issues and may not even faithfully represent the validity of simpl, but we're putting them here so they can be evolved into something useful.