New bounds on heavy QCD axions from big bang nucleosynthesis | Synapse