fix coercions
disable code verification by default
small compiler optimization