Updated Submodule to Shark-0.9