Document the Checker constructor parameters (fixes missing nullable annotations for language bindings)