Include Byron checks

[alegadea]

Related to #7

Using the dev/pallas-applying-public-API pallas branch.

The first step is to classify the checks based on the information they need. Some checks only require transactions, while others require a subset of the UTxO set.

[mikarasv]

The validations from the byron era are listed below, in a block structure. Blocks start with a statement that describes requirements of the validations within that block. Nested blocks require their requirements and the ones from containing blocks.
Some validations require specific context to validate, those validations (5th to 7th validations) were implemented but not added to the validations list. There are some validations that require context, but were added to the validations list, using hardcoded values (such as ones that need protocol params, network information).

- The following validation only requires the tx size and the protocol params
1. validate_byron_size(size, prot_pps)

- The following validations require the transaction
2. validate_byron_ins_not_empty(tx)
3. validate_byron_outs_not_empty(tx)
4. validate_byron_outs_have_lovelace(tx)

    - The following validation requires the tx utxos
    5. validate_byron_ins_in_utxos(tx, utxos)

        - The following validation requires network information
        6. validate_byron_witnesses(mtxp, utxos, prot_magic)

        - The following validation requires the size and the protocol params        
        7. validate_byron_fees(tx, size, utxos, prot_pps)