Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems