This enforces schedule(runtime) systematically, makes the minimum
number of vertices configurable at runtime, adds a context manager for
OpenMP parameters, and improves the documentation.