Add clean target for test/Makefile
Reformat the code of Giri.[h|cpp]

This is a trivial change since we just apply the coding style of the
code of Giri.[h|cpp] to make them more LLVM-alike.
Remove useless checkForInvariantInst function