build: Migrate from sbt to Maven, for pitest.
Add @ParametersAreNonnullByDefault to (new) root package (object).
Apply a bunch of style fixes.