Normal vec.insert shifts all elements to the right when inserting at an index
https://doc.rust-lang.org/src/alloc/vec/mod.rs.html#1441
Soroban vec.insert does not do this
https://docs.rs/soroban-sdk/latest/src/soroban_sdk/vec.rs.html#638-641
This is confusing and makes it quite difficult to build a sorted Vector thus making binary_search a less obvious choice.