Add correctness analysis of BubbleSort
Implement BubbleSort