detect possibly catastrophic, exponential-time regular expressions