'Big Short' traders say gold is one of their top longs