Two 'tail strikes' in quick succession on Alaska Airlines flights highlight the subtle impacts of software bugs, and the importance of retaining human checks.