FIXED the following:
1. Correctness bug in SIMD FWIabc
2. Removed unrolling on K in SIMD FWIabc - it slows the things down
3. fixed verification against BP domain