add missing comma
use panic instead of assert in verify function
make != 0 && != 0 boolopt robust against unordered relations
owner type must be a compound type
ia32: code cleanup

the code is easier to understand now (for humans and coverity)
combo: use tarval_is_constant
combo: small cleanup