Simplifications, bug fixes and improved documentation.
Upgrade randomizedtesting and forbidden-apis.
Add a README.