Detecting invariants on the web: a path to auto-generating browser tests? | Hacker News Reader