add bin/LiquidCheck.hs to automate checking modules