Expand rebar coverage

[pandaman64]

Thanks to #4, we support more Regex features, and now we can benchmark lean-regex with more test cases in rebar. We should update the lean-regex version of this fork and perform another benchmark.