Graal codesize optimizations, sync cleanup.

More nodes in argument writers in function calls, and optimizations in
the code.