Bayesian Dynamic Finite‐Fault Inversion: 1. Method and Synthetic Test