Use pytest module-scoped fixtures to avoid littering in /tmp.

[riastradh-probcomp]

We still compute the analysis only once and reuse it from test to test, unlike a naive context manager which would recompute the analysis each time.