fix theodul core test specs and add a theodul model test