Expressive assertions for JavaScript.