Improve sorting specs
Simplify bubblesort and improve coverage