Using z3 to predict `Math.random` in v8 - View it on GitHub