Continue work on tests

Required an alteration to the seer interface to allow adding top-level
resources explicitly
Fix formatting in seer idl