Add hacks to support `StrPtr` indexing

[sim642]

While abstractly debugging some of our own sv-benchmarks coreutils instrumented programs, I realized that we're very bad at indexing constant string literals.

This PR includes my quick hacky attempts at improving precision there. I put little thought into them, so these could be wrong.