Important: unify the insertion of child key values

Before this commit, every commit is an equalvalent rewrite.

This commit modifies the origin logic by moving the child_key_value
in `process_state_verified()` to the same place in `process_state_unverified()`.

Please review this very carefully.