Describir: Direct Product Primality Testing of Graphs is GI-hard