Utilities for using WebDriver with QuickCheck