More correct indistinguishability + better stack representation

Fixed at least 2 bugs in indistinguishability,
one is for stacks and Leo knew about it already
the second one is in how stack frames are compared
(registers used to be ignored!)

Probably managed to break other things since testing now fails.
Will debug soon, I hope, but any help welcome.