gtcheck: Removed forgotten debugging line
A few bugfixes from the previous two commits. New -S option in gtcheck and -H made work also in the cross-check mode