Logic Gate Neural Networks are Good for Verification