v1.2.0

`v1.2.0` is a large release: it fixes many bugs, introduces new APIs,
and deprecates fundamentally buggy or awkward portions of the existing
API. See the changelog for details.