Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective