add redex-based random testing for html