CI: explicitly trigger recompilation in axiom check

Due to whatever the CI environment does to cache and restore intermediate result files, somehow make validate triggers some spurious recompilation. To avoid confusing the checking script, trigger any possible re-compilation steps before capturing the output of make validate.