The `recording` and `random` modules now import mpi4py only on demand