Lobsters: Bombadil - property-based testing for web UIs