Run more automatic harnesses (use patterns w/ regex support)

[carolynzech]

Use the support for regexes added in model-checking/kani#4144 to run more automatic harnesses in CI. This brings us from 77 harnesses to 184.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[carolynzech]

@tautschnig Should we change the >::disjoint_bitor and >::unchecked_disjoint_bitor patterns, per the comment in this workflow file? I actually think we may as well just keep them to avoid doing <bool as ...>::disjoint_bitor, <i8 as ...>::disjoint_bitor, etc., but not sure if I'm missing something.
(At the very least we should remove the comment in the file about patterns not being supported before merging this).

[tautschnig]

Thank you! Can we please also remove the manual harnesses for those? See my commits in #334 (those that I then also reverted in that PR).

[tautschnig]

@tautschnig Should we change the >::disjoint_bitor and >::unchecked_disjoint_bitor patterns, per the comment in this workflow file? I actually think we may as well just keep them to avoid doing <bool as ...>::disjoint_bitor, <i8 as ...>::disjoint_bitor, etc., but not sure if I'm missing something. (At the very least we should remove the comment in the file about patterns not being supported before merging this).

Maybe we could make the patterns a bit more meaningful by doing something like <(.+)[[:space:]]as[[:space:]](.+)>::disjoint_bitor?

[tautschnig]

Thank you for all this cleanup! Just a few lines that IMHO should be reinstated.