Clean up Karatsuba pseudocode formatting