updating docs with citation to CartesianFaith
adding simulation code