[seal] Updated SEAL to version 3.7.0#20166

Merged

BillyONeal merged 2 commits intomicrosoft:masterfrom WeiDaiWD:seal

Sep 17, 2021

+22-17

Commits on Sep 17, 2021

Updated ports/seal and ports/apsi.
Wei Dai
committed
Updated versioning.
Wei Dai
committed