Add support for Secret Key Encryption in lowering LWE to Polynomial

[lawrencekhlim]

Currently, our lowering for LWE to Polynomial only supports public key encryption (see LWEToPolynomial.cpp and #874). We need to add support for Secret Key Encryption as well.