Place SSA marker inst at new pseudo-addr instead of at first func addr minus one; fix canonicalization of x86_64 regs spl, bpl, sil and dil; fix a couple of old code glitches found in debugging.