Added multiple test cases for grayscale module and pre-conditions and post-conditions
for each module (currently not filled-in).