`v1.4.1` Audit Report and Deployment Address (#826)

This PR adds the Audit Report conducted on the Safe Library Migration
Contracts by the Certora Team and updates the `CHANGELOG` with the
contract addresses.

Bump version to 1.4.1-1 (#799)

Bump version for the new release. Release notes:
## What's Changed
* V1.4.1: Singleton factory update by @mmv08 in
#798

Merge pull request #613 from safe-global/v1.4.1/js-bundle-fix

1.4.1: Fix main js and type files

Formal verification: No message can be signed through the core contra…

…ct (#583)

* Add a rule for no signed messages

* Add a rule for no signed messages

Merge pull request #549 from safe-global/feature/1.4.0-deployment

Feature: Add 1.4.0 changelog, update Gnosis RPC endpoint

Update factory

Merge pull request #308 from gnosis/changelog_update

Update GnosisSafe address

Merge pull request #220 from gnosis/remove_zos_folder

Remove openzeppelin folder

Release dev.2

1.1.1-dev.1