Initial commit
Add some invariants, code for selection sort.