libcore: remove fails from slice.rs and remove duplicated length checking