started spliting out verificatin functions into a separate file
Merge branch 'split_swarm'
part of #42