Experiment: replace builtin type Strict Bytestring -> ShortByteString

As plutus user I want to have fast plutus execution. Perhaps changing strict bytestrings to short bytestrings may improve the performance. This change should not have any observable difference from existing plutus scripts, so it should be (in principle) backwards compatible with older plutus versions.

Acceptance Criteria:

change universe type to be shortbytestring

change all builtins denotations to operate on bytestrings directly.

(optional) add a benchmark that runs exclusively many bytestring operations

run plutus-benchmarks again and compare to see if it is indeed faster

(optional) replay the whole chain to see if anything changed in cek execution?