Options passed to a StateChecker.