Black-box group algorithm for checking whether a bijection between generating sets extends to a group isomorphism

Idea and outline
The idea is to do the same procedure as in black-box group algorithm for finding the subgroup generated by a subset in parallel for both groups, and to check that the algorithm runs exactly the same way for both groups as we're running it.

More details to be added.