fix some bugs in stretching operator/differential operator + add finite differences validation for TG benchmark + add some problems in Examples