Test that effectful SQLite programs work