Design of Short Codes for Quantum Channels with Asymmetric Pauli Errors