Phase3 work
Fix missing finalize-auction sym
Add resource test file, rename arg for consistency
Finish implementing phase3
Fix testfile name
Update phase2 auctioning
Check that values are non-negative (allow 0)