Optimize state_manager_push a bit.

Avoid redundant memcpy and SSE2 memory diff search.
Might get replaced by Alcaro's implementation soon though.