Add more checks for CI; also compress the release on OS X