Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach