Add spec for insertion binary sort