DelBugV: Delta-Debugging Neural Network Verifiers