translate: some vararg improvements
some func ptr arg type checking
translate: improve vararg handling a bit more
translate: detect more invalid writes to args