JC: rename wfid to wf_state in model. Added search/stats. spec passes.