Upgrade to optiq-0.4.16. Add a test case for Optiq issue https://github.com/julianhyde/optiq/issues/69.