Tekstiviesti: Automatically Refining Assertions for Efficient Debugging of Quantum Programs