Minimal use of the public monotonicity API

This file is intentionally small: it checks that an external caller can import the public API and apply both the witness-style stationary Sobolev monotonicity formula/theorem and the older componentwise convenience wrappers.