[FOLD] SHAMap performance change fixes
* Missing canonicalize calls
* Can't canonicalize if seq!=0
* Adjust asserts
* Descend cleanups/simplifications
* Fix snapshot logic