Remove the initialize and checkType from Giri

These two functions were previously designed for the invariant debugging
purpose. Now they're useless.