Представьте, что вы должны реализовать стек с поддержкой операции `min()` за `O(1)` время. Как вы будете тестировать такую реализацию на производительность и корректность? Какие edge cases могут привести к ошибкам, и как их можно выявить с помощью профилирования?