SAWCore simulator: reorder function arguments
SAWCore simulator: reorder function arguments

The environment of bound variable values is now the final argument.
This should make it possible to lift the pattern matching of the term
outside the env abstraction, so that we don't have to traverse the term
structure again each time a function is applied.

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