The fast aiger checker