Finished OS_FREE routine, repaired OS_MALLOC routine

Allocation/deallocation loops now decrement SIZE value, should terminate
appropriately. OS_FREE now incorporates tests on arguments.