fix rc Kani harness review issues

- fix verify_4533 slice harness generation
- rename duplicate UniqueRcUninit drop macro
- add unstable(kani) annotations to verify modules
- keep production from_iter_exact loop under non-Kani builds
- make nondet Vec helper initialize elements soundly

Author: v3risec