I've been using python 3.4 that came by default by the RPi. Can't reproduce it anymore...
GPIO.wait_for_edge misbehaving in a loop