Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning