Describir: Sound and Complete Proof Rules for Probabilistic Termination