Statistics for Tableaux and Decision Procedures for Many-Valued Modal Logics