Write `kani` proofs for `neon f32` kernels

[cospectrum]

TODO

• Write simd module to mock neon simd calls, since kani doesn't understand them
• Write kani checks for neon 4x4 and 8x8 microkernels