On the super tree property and on large cardinals in HOD