Updated LICENSE
Added contact info and build status checker to the README
tests: Comment out bitrotted tests; fix later
README: Use the currently available forall syntax for now