This is just my opinion. I think you should just get an unused GPIO, try and setup each type of interrupt and see which one has better reliability and response time for your application.
I'm guessing for simplicity, you'll end up with 1 ISR, which flips the edge type after each call.