Depth-Optimization of Quantum Cryptanalysis on Binary Elliptic Curves