progress on moving useful tactics to their own file
get_set_reif_soundness.v doesn't build right now
but I don't think anything depends on it