twopass_compat -- verifies compatibility with the existing ".hal" files used by sim/axis.ini