x86: implement a->b = c for large-struct operands
Achieved self-self-compilation. Tag as v0.4.