Update regex terminals to match new syntax

[Scott-Guest]

Part of runtimeverification/k/issues/4295

Escapes all usages of - and ^ within character classes to align with the new regex syntax.