Add `upd` and `bvUpd` functions to SAWCore prelude
Add `upd` and `bvUpd` functions to SAWCore prelude

These parallel `at` and `bvAt`, providing array updates with non-FinVal indices. The bit vector version is good for word-level symbolic simulation.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script