Using Sorting Networks for Skill Building and Reasoning