The Boundaries of Verifiable Accuracy, Robustness, and Generalisation in Deep Learning