Ultra-simple runtime contracts for JavaScript.