HackerRank Solution: Correctness and the Loop Invariant in C++

This problem solving exercise is about the insertion sort algorithm in C++.