On the computation of coset leaders with high Hamming weight