This PR adds the "passed but expected fail" tests to testfile, as well as instructions on finding which tests to add for new PRs.
Adds SyTest CI through CircleCI. Also need to add all the tests that currently pass to testfile, but I don't think that's a hard blocker for merging.