Push verifies all submodules are pushed

Makes sure that the push doesn't refer to non-existing submodule revs.