[WIP] Fleshed out the add_checkpoint function

There's also work done on the mem3_rep:find_target_seq/4.