Implement p-adic solver with cyclotomic p-adic reconstruction algorithm

Here is a useful proof of concept implementation: