Stochastic testing primitives for JsVerify, for extended simple testing and security validation in JavaScript. ZAREBA DESTROY