More invariant checker disabling. Juno builds now.