make README less annoying

Author: mkovaxx

README.md

@@ -1,13 +1,13 @@
-# Anodized
-
-> Harden your Rust with **contracts**.
-
 [![crates.io](https://img.shields.io/crates/v/anodized.svg)](https://crates.io/crates/anodized)
 [![docs.rs](https://docs.rs/anodized/badge.svg)](https://docs.rs/anodized)
 [![CI](https://github.com/mkovaxx/anodized/actions/workflows/ci.yml/badge.svg)](https://github.com/mkovaxx/anodized/actions/workflows/ci.yml)
 [![License: Apache-2.0](https://img.shields.io/badge/license-MIT-blue.svg)](https://github.com/mkovaxx/anodized/blob/main/LICENSE-Apache-2.0)
 [![License: MIT](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](https://github.com/mkovaxx/anodized/blob/main/LICENSE-MIT)
 
+# Anodized
+
+> Harden your Rust with **contracts**.
+
 Anodized is a pragmatic suite of tools that helps improve the correctness of your Rust code. Its central idea is **contract** annotations that are deeply integrated with your code, instead of isolated in comments or funky string literals.
 
 Contracts serve as the foundation for a larger **ecosystem of correctness tools**. Anodized connects many disparate aproaches, including fuzz testing, formal verification, and more, into a unified user experience.