Merge "Add precondition check to host-side HAL tests"