Ensure that user has condition code.
amd64: floating point spills
display function name on verify errors
ia32: force flag users to have a condcode attribute

This also allows to cleanup the finish neg/add carry flag fix code a
big.
Remove perms of the same values.