Verification of all noise types works now. I use a big network that also applies sliding window and verify that with incomplete verification
