Torelli theorems for compact hyperkähler manifolds (after Verbitsky)