Test that idris-quit cleans up stray buffers
Test proof search