Explicitly install Synapse during typechecking in CI.