Program disassembly in `info` should include hashes for pruned branches

[schoen]

When we run hal-simplicity simplicity info on a program as it appears on the blockchain after pruning, the assertl or assertr that replaced a case isn't displayed with the hash or other data structure that replaced the pruned branch. I found this confusing because the pruned program in serialized form can sometimes be longer than the unpruned program was, but the disassembly doesn't show us why.