Scalaxy/Privacy: allow skipping privacy with `@noprivacy`, and added a phase that checks public vals/defs with non-trivial bodies have explicit type annotations