Wehrl entropy, Lieb conjecture, and entanglement monotones