Update .gitignore
Add more files to .gitignore
README updates
Change context_equiv to expose mem
Disable a test case that requires inlining (NaNs)