On constructing benchmark quantum circuits with known near-optimal transformation cost