i#3615: Handle copy!=final when encoding instr_t immed

Adds proper handling of encoding an instr_t immed to a copy. Adds a test: client.reachability with -satisfy_w_xor_x.

Issue: #3556 Fixes #3615 (closed)