Add "Assume" similar to "Verify" but for assumptions that the test relies on. #24

Closed drunkcod closed 11 years ago