Bombadil: Property-based testing for web UIs by Antithesis