MINOR: enforce x0 to be type float64
TEST: add more comprehensive tests for all simulation backends