Tullsen/cryptol saw core use no debruijn api

[mtullsen]

A refactor (though large), of SawCore/Cryptol.hs to use the newer non-DeBruijn API for creating SAWCore.

[mtullsen]

Just getting CI results, a version ready for review coming very soon.

[sauclovian-g]

Test failures are just renumbering again.

[brianhuffman]

It looks like the CI test is failing on intTests/test_llvm_errors for a boring reason: The expected test output file intTests/test_llvm_errors/err001.log.good needs to be updated because some VarIndexes that show up in the output have changed. Same for intTests/test2049/test.log.1.good and test.log.2.good (I had to update these same files quite recently in d46d4ae.)

[mtullsen]

It looks like the CI test is failing on intTests/test_llvm_errors for a boring reason: The expected test output file intTests/test_llvm_errors/err001.log.good needs to be updated because some VarIndexes that show up in the output have changed. Same for intTests/test2049/test.log.1.good and test.log.2.good (I had to update these same files quite recently in d46d4ae.)

NOTED. I was delaying doing this till after any/all refactorings were done, :-)