Remove the `bvStreamGet` operation and fold it into `streamGet` instead.
Remove the `bvStreamGet` operation and fold it into `streamGet` instead.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script