Assessing Quantum Layout Synthesis Tools via Known Optimal-SWAP Cost Benchmarks